predicate calculuss
predicate calculus
【數學、邏輯學】謂詞演算,命題函項演算(數理邏輯的基本組成部分,即 functional calculus) [亦作 predicate logic]
熱門查詢
- finance n. 財政，財政學；金融 vt. 負擔經費，供給…經費 vi. 籌措資金 n. (Finance)人名；(法)菲南斯
- institutionalisation n. 制度化; 體制化
- syntactical adj. 句法的；依照句法的（等于syntactic）
- Irish n. 愛爾蘭人；愛爾蘭語；愛爾蘭 adj. 愛爾蘭的；愛爾蘭人的
- amusing adj. 有趣的，好玩的；引人發笑的 v. 逗樂；打發；使…高興（amuse的ing形式）
- mesmerize vt. 施催眠術；迷住；以魅力迫使
- sweetie n. 愛人，情人；甜的糕餅糖果
- Masha [醫]麥芽汁
- bureaucratese n. 官腔，官僚語言
- heartbreaking adj. 悲傷或失望到難忍程度的；令人悲傷的 v. 使…心碎（heartbreak的ing形式）
- Ilsa [醫][=ion luminescence spectroscopy for analysis]分析用離子發光光譜學
- braillewriter n. 用盲字印；盲人用點字法
- stifled 堵
- testiness n. 易怒，暴躁；不耐煩
- outdoor adj. 戶外的；露天的；野外的（等于out-of-door）
- proprietorial adj. 所有的；所有權的
- petroglyph n. 巖石雕刻；巖石畫
- GRP abbr. group 團體; glass-reinforced plastics 玻璃纖維增強塑料; graphite-reinforced plastic 石墨增強塑料; ground relay panel 接地保護繼電器接線板
- suggestion n. 建議；示意；微量，細微的跡象
- inert adj. [化學] 惰性的；呆滯的；遲緩的；無效的
